tc: rel: do not crash when argument lengths differ on solve_c
tc: rel: do not crash when argument lengths differ on solve_c

c.f. #1861

Though I am not sure why this does not fail before reaching the unifier.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar