contract_optimisation Contracts and tests for Toy Problem #5 on contract optimisation (specifically, optimisation of contract size and gas consumption)