ZonoLab GetLeaves Produces Infeasible Leaves

[JChenUTD]

The getLeaves command will have leaves with values other than -1 or 1 as below,

These leaves will produce faces on the surface that are either lines or points but realtive to the reLU activations these leaves are repeated. Suggested fix is adding in the following line of code to zonoLAB/globalFunctions/solvMILP.m, "params.IntFeasTol = 1e-5;" and changing the tolerance. as below,

fix reduces the number of non -1 or 1s.