Add inline bytecode size check.
Make spesh graph build more flexible wrt bytecode.

This is a step towards being able to graph a specialized form of the
bytecode, which we'll need to do to get a graph to merge while doing
inlining.