Upgrade Proof to 0.0.50, Strata to 0.0.38.

Proof has a new scaffold. The Riffle tests where all rewritten to
accommodate the new scaffold. The Riffle tests use a test helper from
Strata that depends on the new scaffold.

Closes #60.
Closes #59.