fix(engine/fstar): fix c_trait_goal and always use it for traits#738
Closed
W95Psp wants to merge 6 commits intomainfrom fix-719-for-good---hopefully
+342-93
c_trait_goal and always use it for traits#738
