Strict type bounds for NSI messages.

Migrated FiniteStateMachine to play-nsi-support.
Enable additional compiler warnings.