Halal v0.1.0-alpha.258

Deployment safety release.

• Rejects reserve-token addresses without contract bytecode before the production deployment script deploys the rest of the system.
• Adds regression coverage and updates the verified test counts.
• The protocol remains unaudited and not suitable for meaningful funds.