Assert that t <= n/2 and add examples to the readme

[elichai]

This adds an assertion of the assumption that t <= n/2 to RefreshMessage::distribute. And adds documentation on how to replace refresh the keys or replace a party