We were counting the number of push ops instead of the number of non push ops. Add tests that found this (checking tha the max operations check fires).