research spike on verification tools (to inform implementation plan)

The goal is to do enough tire-kicking to narrow our list from research prototypes to engineering tools worth building into our development process, and, if there is one, put together a proof of concept and a proposal for adopting it.