handle invariant block

`invariant` block syntax is not currently recognized. it seems difficult to parse without being able to parse CVL expressions. we should probably use guesswork to recognize the different components of the declaration, and rely on the code's correctness due to not being rejected by the CVL compiler.