sha3: make size/speed optimization decision configurable