Adds fork choice tests covering tick interval progression, empty slot time advancement, and interval 0 proposer behavior. Closes #555 #556 #557#607