Move kill_trivial_assignments() over to pymbolic.

When doing substitution, SymEngine seems to collapse Subs nodes. This
was leading to problems for sumpy, which relies on having Subs nodes in
the expressions after killing trivial assignments.

This change moves the job to pymbolic, which appears to preserve Subs
nodes.