「Web3/ブロックチェーン」アプリケーションのテストにおいて、スマートコントラクトの検証で最も重視すべき点はどれか。

ブロックチェーンの不可逆性により、リリース後のバグ修正が極めて難しいため、デプロイ前の形式検証等が重要。