[Feature-request]: foundry-compatible assertion helpers

[aviggiano]

Describe the desired feature or improvement

When integrating https://github.com/crytic/properties with an existing foundry codebase, many assertion helpers collide with forge-std/Test.sol, which makes it harder to use both helpers on the same set of contracts.

For example, this repo's assertWithMsg from this repo serves the same purpose as foundry's assertTrue, so they could have the same name. Also, one uses assertGte while the other uses assertGe, etc.

It would be nice if this repo was fully compatible with foundry for an easier integration.