bb_to_IR(): increase assertion limits on the maximum size of self-checking translatio...