Here is what I'd do in your situation:
1) Reset all bids > 0.001 to 0.001
2) Set a cap on the number of shares each person can get
3) After the cap is in place, if it's still over 7mil then scale back orders based on % of orders placed.
Right now there are only about 11m orders placed > 0.001, which means if no new orders come in everyone gets 63% of what they asked for. With a cap, it should be a pretty big portion of what everyone, except the huge orders, wanted.
Personally I have to say that I quite like this solution. I will still wait until I can get guidance by Burnside before we make any decision. As previously stated, I just don't feel confident in taking any action by myself.
Higher bid should be filled first, this maybe not perfect, but its efficiency was approved by real stock market in real life.
Your solution seems fair. But you know what, there gonna be a lot new accounts being registered in next few hours, at least I am going to do so.
I know you are trying to do it fairly. But please keep the basic logic of free market in mind. Other idea without think about it only lead to more loopholes.