Towards formal verification: mbrotli and mzstd

Brotli on Nginx thread pools: ngx_mbrotli vs. ngx_brotli