The ALT_BN128 curve does not need ate-pairing or xbyak. Also, remove crypto++ dependency from libsnark.