spirv-fuzz: TransformationAddSynonym: add support for OpBitwiseAnd

The TransformationAddSynonym transformation can do things like:

add an instruction %c = OpAdd %b %zero
add a fact that %c and %b are "synonymous" (i.e., they will have the same value)

It could be extended to be able to:

add an instruction %c = OpBitwiseAnd %b %FFFF
add a fact that %c and %b are synonymous

Here %FFFF would be a constant all whose bits are 1.

Start by locating TransformationAddSynonym and its existing handling of OpAdd, then inspect how the transformation represents the all-ones constant and records synonym facts. Done means OpBitwiseAnd with an all-bits-one constant is supported and covered by the project's existing transformation tests.

Written by the indexing model from the issue text.