There's a lot of trickery in this crate which expands to a lot of code, so in addition to asserting that we find the right instruction, let's assert we find a small function as well (as these should all be just one or so instructions anyway).