Implement freshness assertion generation on the server side. Closes #11.