Sanity-check that instruction numbers monotonically increase.