Explore formal verification methods like model checking and theorem proving for ensuring the correctness and safety of agent interactions and behavior within LangGraph Multi-Agent Systems, especially in critical applications.