(simple) Debouncing 2 button state machine

The problem with 10 msec is that I will be adding PID control to this. And the process that this prototype board will be controlling actually occurs in approximately 40-80ms depending on which state is changing to which.