Improper behavior`random` keyword in C-Set homomorphism

The `random` keyword is supposed to remove the determinism of C-Set homomorphism search.

Presently, in the `backtracking_search` code, there is a keyword argument, but this is not threaded through the recursive calls of `backtracking_search`. This means that the first assignment is nondeterministic, but not subsequent ones.