Add static_asserts/concepts that will make compile-error related to misused state chart definition easier to read

[Jakub Piskorz]