Dialyzer specs on emcntr should reflect allowed arguments

We no allow negative integers for inc/dec args, so the specs have
been changed to reflect this.