PEBC implementation doesn't check the validity of instructions

[wcoenraads]

The current PEBC example implementation accepts instructions regardless of whether they fall within the range its specifies. It should instead check this, and reject the instruction if it falls outside the range.