Generates Foundry invariant tests and Echidna property-based fuzz tests for Solidity contracts. Creates handler contracts, invariant assertions, and fuzzing configurations.