Fix: race in garbled circuit Zext and Sext