fix: tr #667 (minAssChar)
Added statistic counting to Syzygy computation inside syzextra

added: a macro RTIMER_BENCHMARKING which if option(prot) will cause the output of timestamps around the most important calls
Added BucketFactory for sBucket's (based on a default stack container: deque)
Added lots of leadData checking
We will try to avoid computing products by setting NOPRODUCT to 1
Better TREEOUTPUT + minors
Added NOCACHING/NODIVISIONS switches to syzextra

NOTE: NODIVISION=1 for now (experimental assumption on the usage)
Added UNLIKELY/LIKELY accoring to the relase & best performance use cases
fix: stupid erroneous break
Merge pull request #672 from mmklee/char_series

fix: stupid erroneous break
fix+doc: FLINT_VER_2_4_5