lava rock is okay for FW tanks.. saltwater tank it breaks it down and releases iron.
A pond expert lady told me otherwise though, she said in the long-term, using lava rock for large bio-filters will leech unwanted minerals and unless large frequent water changes are being performed (not so much in ponds) those bad minerals will build up and eventually effect the gill function of fish.