Convert `serialize` to use `Proof` `counter.`

Update the `serialize` test function to use the `Proof` `counter`
function. This will allow us to change the `serailze` test, add tests,
and not have to fuss over counts.

Closes #204.