The state machine encoding is currently a binary counter, representing bit 'N'. This results in the smallest area, but is the least secure encoding. Depending on the P&R, path delays can create metastates during the state transitions, that can give rise to glitches under certain circunstances.
The state mapping should avoid this by using a minimized transition encoding, like gray or johnson.