Remove state == NULL checks in strict inverse transition functions.

These are not required as the functions will never be called with a NULL state.
Also added comments to numeric_avg_accum_inv() and int8_avg_accum_inv() to state
that these functions must be declared as strict.