core: add while semantic (WIP) ; arch_x86: implement stos/scas/test, fix if/else semantic