EIP-5267 is in Last Call and should be Final by the time we release 4.9.
I think it should be added by default in EIP712, it doesn't add runtime cost and my opinion is that it should always be used as it makes EIP-712 signatures more usable.
EIP712
