I think to test whether they're suitable for an aquarium or not, you pour a bit of vinegar on the bit of rock you want to use, if it fizzes then it's not suitable to use.
If it is suitable to use then I'd also say giving them a good clean is a good idea, probably with boiling water like you said.