Issue #24: Update to tests to include dummy languages
Issue #98: ensure calls to DFA::rank and DFA::unrank are exception safe