Verification of Secret Key Generation from UWB Channel Observations