fix performance problem in list-machine test suite

this was uncovered by the recent change to redex-check's
default strategy