enforce constant memorization for dsolve

- this prevents some rewriting errors
- also, disable constant renumbering, which
	can not yet use memorized constants.
* 10 tests fail, 2-3 raise errors