I vote for Option 2 and only one spy. In any case, I find the idea of allowing a mislynch to be terrible. I don't see the point in allowing people to play poorly.