Inline verify is slow, this is what unit tests are for