Fix pos_integer/0 and non_neg_integer/0

Also add test properties for pos_integer/0 and non_neg_integer/0.