OP_RETURNs of arbitary size are consensus valid, simply nonstandard (won't get relayed by normal nodes). You could also easily design a scheme where a monkey jpeg is split across multiple transactions, too, and it would be valid AND standard, but again it would be pretty inefficient.