It would probably be very valuable if some method could be developed that allows for true testing of actual #![no_std] Rust objects, even if it requires some additional work to set up, special harness support, whatever. Does the team have something in mind for this?