Introduce a smart contract automated auditing service like MythX

[arberx]

Description

MythX provides automated security audits and is integrated with the testing framework in this repo: eth-brownie. It's also used by Aave.

It would require monthly fees, which perhaps can be proposed to be paid for by the treasury.