feat: add assertions for ACVM FunctionInput
bit_size
#5864
Merged
FunctionInput
bit_size
#5864