`unexpected symbolic argument` for prove test with single `address` argument

I have a simple test function that takes a single address arg:

```solidity
function proveConnectingExecutionManager(address newExecutionManager) public {
registry.connectExecutionManager(newExecutionManager);
assertEq(registry.L1_NovaExecutionManagerAddress(), newExecutionManager);
}
```

https://github.com/Rari-Capital/nova-invariants/blob/4d1a9c9a4aa929314e82da79b6d52c980506c57e/src/Registry.t.sol#L31

The `connectExecutionManager()` function is simple:

```solidity
address public L1_NovaExecutionManagerAddress;

function connectExecutionManager(address newExecutionManagerAddress) external requiresAuth {
L1_NovaExecutionManagerAddress = newExecutionManagerAddress;
emit ExecutionManagerConnected(newExecutionManagerAddress);
}
```

https://github.com/Rari-Capital/nova/blob/3252ceea5e50d3c29be69861b77908a5b4f28815/contracts/L2_NovaRegistry.sol#L39-L48

Why is this failing with `unexpected symbolic argument`:

```
hevm: unexpected symbolic argument
CallStack (from HasCallStack):
error, called at src/EVM/Symbolic.hs:42:14 in hevm-0.48.1-68JBNYehi12HotjGf8Zowl:EVM.Symbolic
```