Added string_setchar instruction
Merge branch 'vector-new-instructions' into prog-synth-benchmarks
Added wc_bench problem