Prove that double-spends are currently possible

See ##11
Implement basic double-spending prevention

Resolves #11