Add proper_statem-based test suite