Safe bitcode to mutable module parsing
Verifiers