added script from Rafael to compute unitarity bounds on dimension 8 operators