Fix a soundness issue due to arithmetic overflow

[Shnatsel]

The first commit adds proof-of-concept tests that trigger out-of-bounds accesses under miri. The second one applies a fix by panicking on arithmetic overflow instead of allowing buffer overflow.

This is a memory safety issue, but I don't know how relevant this is to real-world uses since the proof-of-concept requires a custom Fft trait implementation.