Upgrade to micropython v1.12

No obvious regression up to MicroPython v1.12 (Changelog). I did not yet have time to thoroughly test it though ...

I intentionally did not do any further adjustments yet, to e.g. make use of new features. These will follow up in separate MRs.