HEVM prove: `Data.SBV: Unexpected response from the solver, context: push:`

## Overview

I'm seeing failures with the simple prove test defined [here](https://github.com/mds1/drai/blob/a4bb3599c7fa1c624fa5577179c7e41400482ca7/src/Drai.t.sol#L555-L561). You can use [this branch](https://github.com/mds1/drai/tree/solver-issue) to reproduce the issue.

Some other info:
- I've tried both solvers and posted the test command and outputs from each below.
- The RPC URL I'm using is a forked mainnet node from Alchemy. I have not yet tested against a non-fork, since it'd require a decent amount of changes, and I typically dev/test against a forked mainnet anyway
- Searching for this error in this repo's issues and I found one reference to this here: https://github.com/dapphub/dapptools/pull/500#issuecomment-693448489
- According to `dapp --version`, I'm using dapp 0.32.2, hevm 0.46.0, and solc 0.6.7+commit.b8d736ae.Darwin.appleclang

## z3 solver

Run using `dapp test --verbose --rpc ${ETH_RPC_URL} --solver z3`. Fails relatively quickly with the below error

```
hevm:
*** Data.SBV: Unexpected response from the solver, context: push:
***
*** Sent : (push 1)
*** Expected : success
*** Received : (error "line 57181 column 7: push canceled")
***
*** Executable: /nix/store/d7xd3hqgwqz7z7q54kyiac1swhyf5372-z3-4.8.10/bin/z3
*** Options : -nw -in -smt2
```

## cvc4 solver

Run using `dapp test --verbose --rpc ${ETH_RPC_URL} --solver cvc4`. After waiting for about an hour or two I finally quit the process, so have no error output to show here