Fix `option` handling in michelson_to_value
type:fixed
Fix option handling in michelson_to_value & Improve typing of E_record by adding anonymous record types to typing context
Changelog details:
- Fix bug in test interpreter related handling of option values
- Improve typing of records when type annotation is not provided
Edited by Melwyn Saldanha