Check AST invariants
val structure : Parsetree.structure -> unit
val signature : Parsetree.signature -> unit