the contract this move is for the attention of. Only that contract's verify function should take the moved states into account when considering whether it is valid. Typically this will be null.