Add Nonce Reuse Detection

Progress towards #13 and #15