I would add such a verifier, and generally verification that visible descriptor components are a match to operands, to a reasonable extent. And also document that it’s the user’s responsibility to ensure the descriptor is correct.
2 Likes