Miri can already do heap allocation. So getting them into const fn is mostly a matter for writing and accepting a bunch of RFCs, the implementation is already there.
Oh, and we should get const fn stabilized at some point...
Which kind of language features does that need? For example, everything HashMap does should work fine in const fn (though some of it is "unconst").