Refactor verify tests

[charithe]

The tests for the verify package are quite complicated -- making them hard to parse and modify. They could probably benefit from using txtar to represent the file layout and the familiar protobuf-based test case format used in other Cerbos tests.