A simple test to demonstrate the debouncing, is to just load my sketch (above) into an Arduino, and use a jumper wire (grounded on one end) to tickle the appropriate "button" GPIO.