[CI] Add unit test run using the verified backend
[CI] Add unit test run using the verified backend

- the formally verified backend was introduced in PR 739
- it requires building under a slightly different set of options
- This uses them and runs tests for the cryptography packages

Closes: #1253
Approved by: metajack

aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,libra/libra,aptos-labs/aptos-core,aptos-labs/aptos-core,libra/libra