Port Cauldron tests to Foundry

[alcueca]

Here

There is a certain amount of math around the collateralization formula in level, which might benefit from being fuzzed. I haven't though of invariants yet.

[marcomariscal]

separate issue for 051 because it does not require a fixture