Land more certification related patches

This MR introduces many more patches needed to fix almost all known
issues with gamayn and svace (with exception of libdecnumber).

Additionally it does some improvements to workflow, now helper script
has `restore` command to clear dirty state when patches were applied to
simplify testing.

For places where asserts where needed they're extended with panic calls
because for static analyzer we need to sometimes prove that condition
holds even in release build where usual asserts are disabled.

Also this patch bumps webui repo to accomodate fixes made there.

Co-Authored-By: Dmitry Rodionov <d.rodionov@picodata.io>