Better security

[rndquu]

After the deployment we'll have most of the liquidity resided in the LibUbiquityPool so it makes sense to make its security better by imlementing more fuzzing and invariant tests, adding formal verification and monitoring solution.

• [x] https://github.com/ubiquity/ubiquity-dollar/issues/925
• [x] https://github.com/ubiquity/ubiquity-dollar/issues/563
• [ ] https://github.com/ubiquity/ubiquity-dollar/issues/926
• [ ] https://github.com/ubiquity/ubiquity-dollar/issues/927

@0x4007 FYI