Incorporate FileCheck-based Procedure Detection

Summary:
This diff adds FileCheck-based procedure detection capabilities for BlockPingpong
scheduling patterns. When parse_single_file() is called without procedure_checks,
it defaults to DEFAULT_PROCEDURE_CHECKS containing PINGPONG_SMALL, PINGPONG_MEDIUM,
and PINGPONG_LARGE pattern definitions.

Key changes:
- ir_analysis.py: Add ProcedureCheckResult, ProcedureCheckConfig, run_filecheck(),
  find_procedures_with_patterns(), extract_ir_metadata(), and update _generate_ir_analysis()
- trace_processor.py: Add parse_filecheck_lines(), ProcedureCheckDefinition,
  PINGPONG_SMALL/MEDIUM/LARGE definitions, DEFAULT_PROCEDURE_CHECKS, and update
  parse_single_file() to accept procedure_checks parameter

Reviewed By: FindHao

Differential Revision: D91803236

fbshipit-source-id: b4b38720f5263ae7a6b9f799da15867c44078f54

Author: Peiying Hua