(still need to fix the callers)

(it removes the extra dependency on forge-std)

The foundry step is failing with weird errors:

Submodule 'tests/lib/forge-std' (https://github.com/foundry-rs/forge-std) registered for path '../lib/forge-std'
Submodule 'tests/lib/halmos-cheatcodes' (https://github.com/a16z/halmos-cheatcodes) registered for path '../lib/halmos-cheatcodes'
Submodule 'tests/lib/openzeppelin-contracts' (https://github.com/OpenZeppelin/openzeppelin-contracts) registered for path '../lib/openzeppelin-contracts'
Submodule 'tests/lib/solady' (https://github.com/Vectorized/solady) registered for path '../lib/solady'
Submodule 'tests/lib/solmate' (https://github.com/transmissions11/solmate) registered for path '../lib/solmate'
fatal: not a git repository: /home/runner/work/halmos/halmos/tests/lib/forge-std/../../../.git/modules/tests/lib/forge-std
Failed to clone 'tests/lib/forge-std'. Retry scheduled
fatal: destination path '/home/runner/work/halmos/halmos/tests/lib/halmos-cheatcodes' already exists and is not an empty directory.
fatal: clone of 'https://github.com/a16z/halmos-cheatcodes' into submodule path '/home/runner/work/halmos/halmos/tests/lib/halmos-cheatcodes' failed
Failed to clone 'tests/lib/halmos-cheatcodes'. Retry scheduled

Suspecting race conditions here:

```
Build failed: ['forge', 'build', '--ast', '--root', 'tests/regression', '--extra-output', 'storageLayout', 'metadata']
----------------------------- Captured stderr call -----------------------------
Failed to install solc 0.8.26: Text file busy (os error 26)
Error:
Text file busy (os error 26)
```

This reverts commit 8bb0d6f.