We can also have Dan Metcalf do the audit? I believe his rate is 3 BTC.
Or maybe both?
The biggest issue is paying for it, according to Alty Kristov Atlas wil cost 2 or 3 btc so say 6btc for both, I guess we'll have to see how much can be raised. If a few could chuck in 0.5 would be good.