Huge thanks to @xTibor for both discovering that this was still an issue, and also providing information with how to fix it

Turns out, it's just redox not having a NULL pointer here. Linux does.

This undos a workaround. Jeremy moved the ralloc stuff to platform and suddenly this seems to work again. I don't know what is different from when I tried this before and now, but I don't really care

Add cargo fmt script