Faster encoding

Linear discretizer encoding sped up by removing isapprox.
Removing DISC_UNIFORM_ZERO_BIN since it is so ACAS-X specific.
Minor code cleanup.