`MustNotBeErased` marker

The anti-marker of https://github.com/0xMiden/protocol/issues/3268

The background is the following:
- some offchain services base their logic on the presence of a note appearing onchain
- if a note is erased within a block, the service never learns about its existence **via standard means**
- currently network notes are always consumed at least one block later than they are consumed due to the node implementation, so this is not an immediate issue
- but this is not enforced at the protocol level and might change on the node in the future
- to address this, we should introduce a `MustNotBeErased`

I think the rest is self-explanatory once https://github.com/0xMiden/protocol/issues/3268 lands