Function good_serializer_fn 

pub open spec fn good_serializer_fn<T>(
    serializer: SerializerFnSpec<T>,
    byte_len: ByteLenFnSpec<T>,
) -> bool

{ forall |v: T| #[trigger] serializer(v).len() == byte_len(v) }

Functional version of GoodSerializer for serializer functions.