MUST is too strong.  Processing FINAL is perfectly safe, it's just pointless or wasteful or something.  I don't see any reason to proscribe anything here.

Note that sending RST_STREAM doesn't prevent the reception of more frames on the stream.