Add eqc/pulse test for GET FSM

* The test can be run with a new make target, `pulse`.
* This change also parameterizes the `FetchConcurrency` and `BufferSize`
in the `start_link args. Previously they were read from the application at
runtime. This allows them to be easier to generate in an EQC test and pass
in as arguments.