Add assume mechanism, and remove old code.
Binary splitting for veclcm and vecprod, giving a faster primorial. (Does not affect compiled code, only fallback GP script.)