Enable verbose tests and checks for undefined funs