Fix bugs for loop dependent configuration states

[yamaguchi1024]

• Add dependency analysis to typecheck for checking loop dependent configuration states, and emit TypeError
• Add type checking to bind_config and write_config

[codecov[bot]]

Codecov Report

Attention: Patch coverage is 94.52055% with 4 lines in your changes missing coverage. Please review.

Project coverage is 87.74%. Comparing base (df3c179) to head (faeff28).

Files	Patch %	Lines
src/exo/API_scheduling.py	90.90%	1 Missing :warning:
src/exo/LoopIR_compiler.py	0.00%	1 Missing :warning:
src/exo/parse_fragment.py	50.00%	1 Missing :warning:
src/exo/prec_analysis.py	0.00%	1 Missing :warning:

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #673 +/- ## ========================================== + Coverage 87.64% 87.74% +0.09% ========================================== Files 84 84 Lines 20595 20631 +36 ========================================== + Hits 18050 18102 +52 + Misses 2545 2529 -16 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.