Add "remove_unused:dependency" to int.ComputerDivision
Adds the "remove_unused:dependency" meta to the axioms and lemmas in int.ComputerDivision. This is especially helpful since most of the mach.int modules use int.ComputerDivision so currently using these modules results in instantiating all of ComputerDivision props (as well as the Abs props and CompatOrderMult) even when none of them are needed.