Provably-unspendable outputs should not make it into the UtxoSet. If they do, by definition, they never get removed, using up memory for nothing. Once implemented, should check how much memory this saves (with track_scripts enabled and disabled).