Aqua's open source vulnerability scanner as a mixin — the pinned, SHA256-verified release binar...