Function trigger_check_function_name 

pub fn trigger_check_function_name(trigger_name: &str) -> String

Derive the trigger function name for a trigger-enforced check.

The function name is derived from the trigger name (hashed) so we don’t accidentally exceed Postgres’ identifier length limit.