Figure out methodology to ensure that code in the constant time subcrate is actually constant time

[koraa]

We need some tool or process to actually ensure constant-timedness.

[ilka-schulz]

Haha, I skimmed your codebase earlier today and added a statistic test in #244 to ensure constant-time execution. This is not a proper theoretical proof but only a dirty statistical test and I understand that it feels "improper" but depending on your philosophy, empiricism in the form of a statistic test is even better because it does not need extensive knowledge of the compiler and CPU architecture. A theoretical proof might actually be more prone to errors than such a test – although the best option is surely to do both.