S-DAVER (Script-based DAta VErification), a lightweight framework to easily implement separate data verification within Qt GUIs and Lua verification rules