make reset a word, not an integer
make sure reset gets triggered in NuSMV model check
add nusmv test golden reference to make tests pass