Add Mod._eval_is_nonnegative helper

closes #8581
If k is nonnegative, it could be 0 and Mod(3, 0) is not nonnegative so Mod(n, k) can't be nonnegative, can it?