cryptol: add 1.8.x expression

This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
(cherry picked from commit d9d76f1a3a2959b014a5c1db99bf78ae17143311)