Going Down the EIP-712 Rabbit Hole