The Hall Sensor finally showed up from China, and I wasted no time in rigging up a redneck gizmo out of cardboard to test it:

The Arduino is now reading the pulses from the Hall Sensor (rather than the pushbutton I was using before), and converting to MPH. All other values on the display are still random.