biconomyEchidnaTests

These are just basic tests created for more practice with Echidna. The repo is taking from the current biconomy code4rena contest. Will try to add more complex invariant testing given time, especially for LiquidityFarming.