pub fn validate_env<CTX, ERROR>(context: CTX) -> Result<(), ERROR>where CTX: ContextTr, ERROR: From<InvalidHeader> + From<InvalidTransaction>,