Updated simulator functions to include S bit

Updated copy to microcode, single stepping, testing postconditions