1. adds operation counting in sba
2. enables partial tailred for incremental sba
adds new comparison checks in sba:
counts also number of steps during the interreduction process
of incremental sba variants
adds experimental sba tailred (disabled by default)
workin sba tail reduction (disabled by default)
fix for deep sba tail reduction
moves sba tail reduction stuff to kstd2
fixes sba tail reduction
=> enabled by default
=> speed-up
adjusts tests for sba due to implementing better tail reduction