Minor changes to wording in the paper
Minor change to wording of Assumption 1
Move stepm variation into a separate 'algorithm' environmnet
Move kstepm variation to a separate algorithm environment
Move one-sided kstepm variation to its own environment
Update FDP procedure to work with random epsilon