BSR/BSF first operand access should be marked as conditional write

If the source operand is zero then the destination operand will not be written which makes it technically a conditional write. This has caused me quite a bit of a headache and I think it would be good if we can prevent other users from having to deal with this.