fix slli/slliw encoding bug

thanks to dina@technion
push tests