feat: add Sha256 precompile

[gbotrel]

Before closing issue ensure we have a constraint count + a matching test with the exact interface.

[ivokub]

Status update: round function is working using table lookups. Right now working on improving table lookups for shifts and rotations, and implementing full hash function.

[ivokub]

Done in #689. Complexity:

blocks 1  bytes 55   constraints R1CS 152256 SCS 592937
blocks 2  bytes 119  constraints R1CS 172083 SCS 660254
blocks 3  bytes 183  constraints R1CS 191911 SCS 727571
blocks 4  bytes 247  constraints R1CS 211738 SCS 794887
blocks 5  bytes 311  constraints R1CS 231566 SCS 862204
blocks 6  bytes 375  constraints R1CS 251393 SCS 929520
blocks 7  bytes 439  constraints R1CS 271220 SCS 996836
blocks 8  bytes 503  constraints R1CS 291049 SCS 1064152
blocks 9  bytes 567  constraints R1CS 310876 SCS 1131468
blocks 10 bytes 631  constraints R1CS 330703 SCS 1198784
blocks 11 bytes 695  constraints R1CS 350531 SCS 1266100
blocks 12 bytes 759  constraints R1CS 370359 SCS 1333416
blocks 13 bytes 823  constraints R1CS 390186 SCS 1400732
blocks 14 bytes 887  constraints R1CS 410013 SCS 1468048
blocks 15 bytes 951  constraints R1CS 429842 SCS 1535364
blocks 16 bytes 1015 constraints R1CS 449668 SCS 1602680
blocks 17 bytes 1079 constraints R1CS 469496 SCS 1669996
blocks 18 bytes 1143 constraints R1CS 489324 SCS 1737312
blocks 19 bytes 1207 constraints R1CS 509151 SCS 1804628
blocks 20 bytes 1271 constraints R1CS 528979 SCS 1871944