litmus-presi: add -nstates <file> option to control hashtable size better.