I would easily join any effort on this direction, especially if it involves Motoko (as I am not a Rust developer).
If anyone is trying to pull an auditing firm, feel free to reach out.
I don’t have specific experience as an auditor, but guess it wouldn’t take too long to learn and would be able to easily find / conceive creative ways to spot vulnerabilities. 
Think both automatic and manual directions will happen.
The automatic can be something open and the effort shared. It can be paid out to run (in cycles), it can be funded on a Funded sale, and it can payout the best contributions.
The manual audit will need to be as any classic one, and many will exist for sure. Hopefully code & state can spun one with success and be a good model to follow. 