#158 add some blank lines to improve readability
#158 limit number of states to 1000
#158 add missing verifier test