Repairs and clean-ups regarding tuning and profiling#581

czurnieden wants to merge 1 commit intolibtom:developlibtom/libtommath:developfrom

czurnieden:more_tuning_and_profilingczurnieden/libtommath:more_tuning_and_profilingCopy head branch name to clipboard