I'll start a miner once I get home. Anyone else who wants to help can point their miners to the pool in my sig.
One problem is the count of nodes though. I noticed that I had difficulties with getting transactios confirmed when I was mining (3 or 4 peers online at that time).

In your place dev I'd probably do 2).
Maybe 1) if you think you can manage the bagholders.
For 3) you'd need a proper relaunch and rebranding to spark interest.