check_smart vs witr

Compare check_smart and witr using verifiable public signals, licensing and project quality.