Calculate the poseidon hash on the alt_bn128 curve. Instantiated with
the same parameters as the circomlib implementation of poseidon. The first
argument is the number of inputs, the second argument is the inputs.
This is so that accidentally sized input vectors are caught more easily.
The input vector is an unsized slice for more simple compatiblity.
This function errors if input_count != input.len()