Verification of an agent‐based disease model of human Mycobacterium tuberculosis infection