make sure Verify recursively descends into all called functions, discovered new bugs