examples: bavl_test: synchronize with cavl_test (remove dead code and add explicit verification)
examples: bavl_test: synchronize with cavl_test (remove dead code and add explicit verification)

SeReRPRo/badvpn,SeReRPRo/badvpn,SeReRPRo/badvpn,SeReRPRo/badvpn,SeReRPRo/badvpn