Add test_disk
Fix read_from_floppy_disk test
Add assumption
Fix tests