Fix duplicated assertions.

Do what some other instructions do, and add an assert method.