added ability to check that additions that don't wrap don't generate poison