Turns out that there is a test for Fibonacci-ness