Rename "assert" labels to "assume"

The new name also allows for "assume" labels that are not reading a
memory address but a register.