Thanks for the great writeup, @pcifani, clearly laying out the advantages and challenges of using the Android SDK and the Skip toolchain that builds on it. If you'd like to help move this Android effort forward, whether through contributing code or simply more feedback from your use, don't hesitate to reach out to the Android workgroup. 
If these are compiler assertions, they are probably there in Xcode too, just turned off.
It would be great to get some Cricut people on the Android channel of the Swift OSS Slack or on the Android workgroup, given your long use of this SDK. 