Make AuRa generic over cryptography (#2062)

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