add two synchronizer registers right after the buttons, and move the debounce pipelining into the debouncer