hi guys , for fuzz testing solidity smart contracts wich tool is better echidna or foundry ? and what's their difference ?