Intended to be called internally by package or object creator
verify(m, ...)
m
object
...
other arguments to be passed to verify
throws error if verify test fails