ART: Implement optimizations with Zbs extension

[samogongik]

Since Zbs support in assembler is almost done (#127) it's now possible to use new instructions in optimizations, including in the following

• Support extension in instruction simplifier
• Add corresponding intrinsics
• etc

cc: @enh-google could you please assign this issue to me