[Feature-request]: foundry-compatible assertion helpers

### 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.

Start by comparing this repository's assertion helpers with forge-std/Test.sol, focusing on the reported assertWithMsg/assertTrue and assertGte/assertGe collisions. Identify the full set of conflicting helper names and define compatibility expectations before changing anything; done means both helper sets can be used together without name collisions.

Written by the indexing model from the issue text.