added specs for cipher functions

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>
fix incorrect weak_kex propagation

Signed-off-by: Dominik Richter <dominik.richter@gmail.com>