Make sure `kanren` rewrites account for `SharedVariable.default_update`s

[brandonwillard]

We need to make sure that our kanren-based rewrites (e.g. conjugates) update the RNG SharedVariable.default_updates; otherwise, we'll get implicit updates that include the original non-conjugated graphs in the compiled results.