It should roughly have the signature ``` fn validateTransition(latest, next, appBytecode); ``` This function will be used for both pushUpdate (#18) and updateChannel (#19).