We currently have an invariant that a transaction cannot be prepared behind the read timestamp of another storage transaction. This is fine though if the other storage transaction has "ignore_prepared = true". We need to relax this invariant. If we cannot relax it based on the "ignore_prepared" value of other storage transactions, we may need to consider fully removing the invariant.