fix: division for newtypes in JS and PY

[RustanLeino]

Fixes #4233

This PR corrects the type tests that the JS and PY compilers had done on newtypes.

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

[fabiomadge]

Thanks for fixing this! I was under the impression that real-based newtypes are a recent addition, which is probably why I made the mistake in the first place.

[fabiomadge]

Suggested change

	var s0: bv3 := 6 + 3; // 1
	var s1: bv3 := -1; // 7
	var s2: bv3 := 4 + 5 - 2; // 7
	var s3: bv7 := 126 + 3; // 1
	var s4: bv7 := -1; // 127
	var s5: bv7 := 64 + 65 - 2; // 127
	var s0: bv3 := 6 + 3;
	var s1: bv3 := -1;
	var s2: bv3 := 4 + 5 - 2;
	var s3: bv7 := 126 + 3;
	var s4: bv7 := -1;
	var s5: bv7 := 64 + 65 - 2;

Skipping them would be consistent with the other methods.

[fabiomadge]

Suggested change

	Select proper division for newtype reals
	Select proper division for real-based newtypes

[RustanLeino]

Thanks for the quick review, and for the comments. I'm afraid the web page showed me your comments only after I merged. I'll include them in my next PR (#4235).