Breathalyzer 2.0 wishlist

[aguillon]

We now have enough examples of test suites written with Breathalyzer to know what the usual pain points are. Here's a list of things that I'd like to see in Breathalyzer 2.0:

• fewer intermediate modules, and more functions available at top-level
• more functions to access and check big maps (among other things, ledgers)
• functionals to check the storage (e.g., check_storage contract (fun storage ... ))