structure: BAVL: add BAVL_Verify(), and make verification asssertion forced so it can be used when assertions are  disabled
structure: BAVL: add BAVL_Verify(), and make verification asssertion forced so it can be used when assertions are 
disabled

Ernillew/badvpn,Ernillew/badvpn,Ernillew/badvpn,Ernillew/badvpn,Ernillew/badvpn