Added serialVersionUID to all of LightUp's and TreeTent's rules, to
maintain compatibility of proofs.