Bug: nullifiers are not fully checked in cairo RM

[XuyangSong]

customer: performer: deadline: estimated: started: actual: completed: confirmed: dependencies:

• [ ] supersedes:

• ---

The resource can be double-spent in one transaction, although the nullifier doesn't exist in the nullifier set. We need to add a check to prevent duplicate nullifiers in one transaction.

[Acentelles]

For @XuyangSong to fix the bug and @CarloModicaPortfolio to write some tests