Load, store, increment, and discontinued ret instructions take slot arguments. Yet they do not validate that the slot is representable in their structure. We should make invalid arguments to create such instructions to throw IllegalArgumentException.