Alternative implementation of bytecode compatibility check
Further tweaks
Handle potential incompatibility
Cosmetic
Abstract
Explain why we are doing this.
Merge bug25517