Tighten up mic_length

Change-Id: I850ca5a759bb818068ccdc1b19463142c7d8f69d
Tighten up mic_in_key

Change-Id: I01a358eb02dd30a569deef577595c97e43923d8a
Tighten up check_mic_in_key

Change-Id: I8bc941b3c66b1905d74e9d8cd79eeff0ba025342
Tighten up encrypt_in_key

Change-Id: I08987cd2da16a937d6325bb2fd96497c672350cc
Tighten up decrypt_in_key

Change-Id: I72357a185918f47a0604d483d103d6e97ec7e5eb
Tighten up PRFplus helper

Change-Id: Icffb9b54c20d61a719eefef409eb4d56f75790b4
Actually use low bits of start_time for key derivation

Change-Id: I001b40c548010f54e927ef6b574f862b70e50b07
Tighten up derive_tk

Change-Id: I7f8001f3cf530ec5e00085805f720b2e61ee256c
Tighten up rxgk_cipher_expansion

Change-Id: Ia0962c6a7e677ed3128da0a256ecc9ae65e585c8