verifyTypeAnnotations

Verify that a module has correct type annotations