Describe the bugs and solutions in SuperNova, which is an infrastructure as a service and is developed based on the eucalyptus.