Add more IfOp tests
Use assertEquals for visitation tests

Also, refactor switch tests
Rewrite binary math tests, moar tests, fix bugs