026_reverse: Creation!

The reverse benchmark tests inductive verification.  In particular, the
ability to reason about the preservation of an inductive property
through a method.