message: [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:
  Approved by: metajack
diff: @@ -80,6 +80,10 @@ jobs:
  name: Run All Unit Tests
  command: |
  [[ $CIRCLE_NODE_INDEX =~ [013] ]] || RUST_BACKTRACE=1 cargo test -j 16 --all --exclude testsuite
  + - run:
  + name: Run Cryptography Unit Tests with the formally verified backend
  + command: |
  + [[ $CIRCLE_NODE_INDEX =~ [013] ]] || RUST_BACKTRACE=1 cargo test -j 16 -p crypto -p secret-service --features='std fiat_u64_backend' --no-default-features
  - run:
  name: Run All End to End Tests
  command: |
  