Added assertion counting (fixes #94)

This is just a first pass to see if, directionally, this makes sense to everyone. Please let me know comments, suggestions, problems, etc.