fix test2 so it passes, print stack trace under -verbose if a hook, support --backend java-symbolic --depth, and a few other minor things
update ant test so it includes io test2 and passes io test1