Make AuRa generic over cryptography

As is so often the case in Rust, most of the work was fixing compiler
errors and removing spurious type annotations.