The contract doesn’t prevent validators from including this type of transaction. However, once a transaction like that is included, everyone on the Plasma MVP chain needs to exit within a specified period of time (~1 week).
Basically it doesn’t matter if we do the check or not. The contract can check that the transaction is valid (inputs >= outputs), but the validators can just spend the invalid UTXO and create a transaction that appears to be valid.