Add Mod._eval_is_nonnegative helper

closes #8581
Also, `Mod(n, -3).is_nonnegative is False` is a wrong assertion in case `n` is 0.