Summary:
Audit by Statemind resulted in quite a few improvements in AMM and Controller. Most importantly, calls to monetary policy were arranged to make borrow rates non-manipulatable, possibility of an overflow in calculating exchange fee eliminated (addressed in live markets anyway with a vote, but here we have a proper fix), removed unwrapping of WETH support (no issues but just in case), and few others.
Verification:
Etherscan cannot verify blueprints. To verify code locally, one can run the following:
python3 scripts/boa-new-implementations.py --verify