Allow invoke on match expressions. This chunk of code really needs to be refactored.
Removing legacy infer-regions pass.
Match caller and callee regions correctly. This avoids errors saying a function needed 4 parameters but only got 3, for example.

Also, disabled grammar verification, as the nanopasses are providing a lot of this verification for us now.