fix: Program serialization is deterministic, and program equality checks have been corrected.

fix: Program serialization is deterministic, and program equality checks have been corrected. #1290