Add promptness test
Add associativity tests from @DanBurton