Make dependency on *ll* *ul* explicit in make-defint-assumptions

Make dependency on *ll* *ul* explicit in make-defint-assumptions

`make-defint-assumptions` implicitly uses `*ll*` and `*ul*`.  Make
this dependency explicit by adding these special variables to the
argument list.

Since `make-defint-assumptions` can change the values of these special
variables, return the value of these variables as extra return values
from the function.  Update the callers to pass these extra args.
Also, all callers must accept the extra values and update `*ll*` and
`*ul*` appropriately.

Full testsuite + share passes with cmucl and ccl64.