1.0.9.58: Fix x86 smod30 ash with a constant large argument.

1.0.9.58: Fix x86 smod30 ash with a constant large argument.
	The usual thing: the VOP was written in the belief that the
	compiler had already proved that the shift couldn't be
	too large.

	(Include test cases which should catch the analogous problem on
	x86-64 as well as the problem just fixed.)