Added UNEXPECTED() around assert_limbs conditionals
Multiple stones with single bird: Macro for op1/op2 free, array_product fix