Print BRUNCH_STAT Result if crab-assert-check enabled
Print BRUNCH_STAT Result if crab-assert-check enabled

caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm