Fixed return check
Checking for matching types when popping
Verifying all branches have the same stack height